Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and ... 9033 (Lecture Notes in Computer Science)
by Alexander Egyed,Ina Schaefer
ISBN 13: 9783662466742
Format: Paperback (380 pages) Publisher: Springer Published: 09 Apr 2015
Save for later
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science)
by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer
ISBN 13: 9783319073163
Format: Paperback (352 pages) Publisher: Springer Published: 21 May 2014
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ... 10886 (Lecture Notes in Computer Science)
by Einar Broch Johnsen,Ina Schaefer
ISBN 13: 9783319929699
Format: Paperback (320 pages) Publisher: Springer Published: 07 Jul 2018
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations
by Michael Felderer,Wilhelm Hasselbring,Heiko Koziolek,Florian Matthes,Lutz Prechelt,Ralf Reussner,Bernhard Rumpe,Ina Schaefer
ISBN 13: 9783030831301
Format: Paperback (240 pages) Publisher: Springer Published: 22 Sep 2021
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
by Peter Müller, Ina Schaefer
ISBN 13: 9783319980461
Format: Hardcover (331 pages) Publisher: Springer Published: 25 Oct 2018